Algebra Heytinga

Algebra Heytinga – typ struktury algebraicznej, uogólnienie algebry Boole’a polegające na odrzuceniu trzech aksjomatów:

• prawa wyłączonego środka ${\displaystyle p\vee \lnot p=1;}$
• prawa podwójnej negacji ${\displaystyle \lnot \lnot p=p;}$
• pierwszego prawa de Morgana ${\displaystyle \lnot (p\wedge q)=\lnot p\vee \lnot q.}$

Ten typ algebr wprowadził Arend Heyting (1930) w celu zbudowania formalnego narzędzia dla logiki intuicjonistycznej, którą stworzyła holenderska szkoła logików inspirowana przez L.E.J. Brouwera. Jednakże sam Brouwer był przeciwny wszelkiej formalizacji jego idei intuicjonizmu, w szczególności używania takich narzędzi, jakie proponował jego uczeń Heyting. Zakwestionowanie prawa wyłączonego środka i prawa podwójnej negacji wynikało z ogólnych założeń filozoficznych Brouwera dotyczących tego, czym jest matematyka i jakiego typu rozumowania są w niej dopuszczalne^[a].

Obecnie większość badań dotyczących algebr Heytinga nie jest związana z logiką i intuicjonizmem. Traktuje się je jako pewien typ struktur matematycznych, część algebry lub dział teorii kategorii. Rozmaite, równoważne podejścia do teorii algebr Heytinga mogą być sformułowane w ramach teorii częściowego porządku, algebry ogólnej (zwanej też algebrą uniwersalną), topologii ogólnej oraz w języku funktorów sprzężonych w pewnych specjalnych kategoriach. W teoriach tych rozumowania dotyczące algebr Heytinga są oparte na logice klasycznej (z prawem wyłączonego środka, nieintuicjonistycznej).